A Proposed Checklist for Building Complex Coupled Models
نویسنده
چکیده
Coupled problems occur widely in the pure and applied sciences and engineering. Two types of models are becoming more common—multiscale models, which couple physical phenomena operating on different spatiotemporal scales, and multiphysics models, which couple distinct natural phenomena. The modelling of coupled systems is an emerging discipline that is now the focus workshops and conferences. Many groups have created model coupling software, spanning a spectrum ranging from custom-made, problem-specific solutions and application domain-specific frameworks to opensource and commercial generic coupling infrastructure packages. Constructing complex coupled models from numerous interacting models—or constituents—can be notoriously difficult. Coupled models exhibit knowledge, software, and algorithmic / computational complexity. Interdisciplinary teams are the mechanism used to master knowledge complexity. But how does one grapple with the other two types of complexity? Current practice is an ad hoc approach in which an interdisciplinary group achieves their goal by “just figuring it out” (JFIO). The problem with JFIO is it often begins with a team feeling thwarted and overwhelmed, proceeds without a clear roadmap, entails generous amounts of trial-and-error, and is prone to surprises that can cause delays. Furthermore, in software engineering terms JFIO is of low-level process maturity (e.g., not reproducible). Coupled systems thus far built typically have relatively few (∼ 5− 10) constituents. Any attempt to tackle more complex system modelling exercises such as coupling climate to energy and economics models or simulating a whole organism like the human body will require coupling of a significantly larger number of constituents. It is doubtful that JFIO will scale to meet such a challenge. Ideally, one would like a “cook book” approach to building a coupled model. In response to this desideratum I propose a methodology comprising a series of exercises and associated questions whose object is to define the requirements for a software implementation of a coupled system. This approach is distilled from years of experience as one of the software architects for the coupling infrastructure for the Community Climate SystemModel (CCSM; http://ccsm.ucar.edu) and my involvement in scientific community software framework projects such as the Earth SystemModeling Framework (ESMF; http://www.esmf.ucar.edu), the Common Component Architecture (CCA; http://www.cca-forum.org), and Framework Application for Core-EdgeTransport Simulation (FACETS; http://facetsproject.org). This analysis technique is also drawn from my own theoretical work on coupled models in which I have devised terminology, notation, and complexity metrics. I review previous theoretical work on coupling that is relevant to the exercises outlined in this paper. I then propose a checklist to guide a developer through the requirements-gathering and early design processes for a coupled model. This checklist comprises a series of exercises to identify properties of the envisioned coupled system and to identify and analyse its couplings, elucidating their input/output relationships, types, frequency, and estimated overhead imposed on the constituents. The checklist also covers commonly encountered software engineering issues. This is a proposed checklist: The set of exercises and questions may not fit a given problem perfectly; I encourage the reader to extend, prune, or modify them as necessary. I discuss in brief how distributed-memory parallelism (DMP) complicates this analysis. I offer the reader some advice on how the exercises need to be modified for application to DMP. I conclude that the approach is usable for situations in which coupling occurs in a single address space, but under DMP may become sufficiently laborious that automation may be required. 18th World IMACS / MODSIM Congress, Cairns, Australia 13-17 July 2009 http://mssanz.org.au/modsim09
منابع مشابه
Developing a BIM-based Spatial Ontology for Semantic Querying of 3D Property Information
With the growing dominance of complex and multi-level urban structures, current cadastral systems, which are often developed based on 2D representations, are not capable of providing unambiguous spatial information about urban properties. Therefore, the concept of 3D cadastre is proposed to support 3D digital representation of land and properties and facilitate the communication of legal owners...
متن کاملReachability checking in complex and concurrent software systems using intelligent search methods
Software system verification is an efficient technique for ensuring the correctness of a software product, especially in safety-critical systems in which a small bug may have disastrous consequences. The goal of software verification is to ensure that the product fulfills the requirements. Studies show that the cost of finding and fixing errors in design time is less than finding and fixing the...
متن کاملCoupled coincidence point and common coupled fixed point theorems in complex valued metric spaces
In this paper, we introduce the concept of a w-compatible mappings and utilize the same to discuss the ideas of coupled coincidence point and coupled point of coincidence for nonlinear contractive mappings in the context of complex valued metric spaces besides proving existence theorems which are following by corresponding unique coupled common fixed point theorems for such mappings. Some illus...
متن کاملThe Study of Thermostat Impact on Energy Consumption in a Residential Building by Using TRNSYS
The present study investigates the effectiveness of thermostat control strategy in cooling energy consumption in residential buildings. To evaluate the energy consumption, two scenarios including a residential zone with and without the thermostat control system are assumed. The TRNSYS software provides an efficient numerical tool to model and evaluate a cooling system. Furthermore, since solar-...
متن کاملEstimating the durability of building stones against Salt crystallization: considering the physical properties and strength characteristics
Salt crystallization is one of the most important weathering agents and may limit the durability of building stones. Salt crystallization induces stresses inside the pores of stones. Consequently, stone durability is closely related to its physical properties and strength. The purpose of this study was to propose a statistical model for estimating stone durability against salt crystallization c...
متن کامل